tippex vs gas torch